Rompf, Tiark : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (49)
Les plus populaires
Liste
- Liste
- Tableau

1

A SQL to C compiler in 500 lines of code

ROMPF, TIARK, AMIN, NADA

Journal:

Journal of Functional Programming

Année:

2019

Langue:

english

Fichier:

PDF, 1.37 MB

english, 2019

2

Scala-Virtualized: linguistic reuse for deep embeddings

Rompf, Tiark, Amin, Nada, Moors, Adriaan, Haller, Philipp, Odersky, Martin

Journal:

Higher-Order and Symbolic Computation

Année:

2012

Langue:

english

Fichier:

PDF, 1.10 MB

english, 2012

3

[ACM Press the 2018 International Conference - Houston, TX, USA (2018.06.10-2018.06.15)] Proceedings of the 2018 International Conference on Management of Data - SIGMOD '18 - How to Architect a Query Compiler, Revisited

Tahboub, Ruby Y., Essertel, Grégory M., Rompf, Tiark

Année:

2018

Langue:

english

Fichier:

PDF, 1.54 MB

english, 2018

4

Demystifying differentiable programming: shift/reset the penultimate backpropagator

Wang, Fei, Zheng, Daniel, Decker, James, Wu, Xilun, Essertel, Grégory M., Rompf, Tiark

Journal:

Proceedings of the ACM on Programming Languages

Année:

2019

Langue:

english

Fichier:

PDF, 712 KB

english, 2019

5

A cryptographically t-private auction system

Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert

Journal:

Concurrency and Computation: Practice and Experience

Année:

2011

Langue:

english

Fichier:

PDF, 145 KB

english, 2011

6

Lightweight modular staging

Rompf, Tiark, Odersky, Martin

Journal:

Communications of the ACM

Année:

2012

Langue:

english

Fichier:

PDF, 985 KB

english, 2012

7

[ACM Press the ACM international conference - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 - Language virtualization for heterogeneous parallel computing

Chafi, Hassan, DeVito, Zach, Moors, Adriaan, Rompf, Tiark, Sujeeth, Arvind K., Hanrahan, Pat, Odersky, Martin, Olukotun, Kunle

Année:

2010

Langue:

english

Fichier:

PDF, 800 KB

english, 2010

8

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Optimizing data structures in high-level programs

Rompf, Tiark, Sujeeth, Arvind K., Amin, Nada, Brown, Kevin J., Jovanovic, Vojin, Lee, HyoukJoong, Jonnalagedda, Manohar, Olukotun, Kunle, Odersky, Martin

Année:

2013

Langue:

english

Fichier:

PDF, 609 KB

english, 2013

9

[ACM Press the 12th international conference - Indianapolis, Indiana, USA (2013.10.27-2013.10.28)] Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13 - Spiral in scala

Ofenbeck, Georg, Rompf, Tiark, Stojanov, Alen, Odersky, Martin, Püschel, Markus

Année:

2013

Langue:

english

Fichier:

PDF, 1.14 MB

english, 2013

10

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Surgical precision JIT compilers

Rompf, Tiark, Sujeeth, Arvind K., Brown, Kevin J., Lee, HyoukJoong, Chafi, Hassan, Olukotun, Kunle

Année:

2013

Langue:

english

Fichier:

PDF, 405 KB

english, 2013

11

[IEEE 2009 Third International Conference on Network and System Security - Gold Coast, Queensland, Australia (2009.10.19-2009.10.21)] 2009 Third International Conference on Network and System Security - A Cryptographically t-Private Auction System

Hinkelmann, Markus, Jakoby, Andreas, Moebius, Nina, Rompf, Tiark, Stechert, Peer

Année:

2009

Langue:

english

Fichier:

PDF, 500 KB

english, 2009

12

[IEEE 2014 24th International Conference on Field Programmable Logic and Applications (FPL) - Munich, Germany (2014.9.2-2014.9.4)] 2014 24th International Conference on Field Programmable Logic and Applications (FPL) - Hardware system synthesis from Domain-Specific Languages

George, Nithin, Lee, HyoukJoong, Novo, David, Rompf, Tiark, Brown, Kevin J., Sujeeth, Arvind K., Odersky, Martin, Olukotun, Kunle, Ienne, Paolo

Année:

2014

Langue:

english

Fichier:

PDF, 746 KB

english, 2014

13

[IEEE 2013 International Conference on Field-Programmable Technology (FPT) - Kyoto, Japan (2013.12.9-2013.12.11)] 2013 International Conference on Field-Programmable Technology (FPT) - Making domain-specific hardware synthesis tools cost-efficient

George, Nithin, Novo, David, Rompf, Tiark, Odersky, Martin, Ienne, Paolo

Année:

2013

Langue:

english

Fichier:

PDF, 430 KB

english, 2013

14

[IEEE 2011 International Conference on Parallel Architectures and Compilation Techniques (PACT) - Galveston, TX, USA (2011.10.10-2011.10.14)] 2011 International Conference on Parallel Architectures and Compilation Techniques - A Heterogeneous Parallel Framework for Domain-Specific Languages

Brown, Kevin J., Sujeeth, Arvind K., Lee, Hyouk Joong, Rompf, Tiark, Chafi, Hassan, Odersky, Martin, Olukotun, Kunle

Année:

2011

Langue:

english

Fichier:

PDF, 1.25 MB

english, 2011

15

[IEEE 2014 47th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) - Cambridge, United Kingdom (2014.12.13-2014.12.17)] 2014 47th Annual IEEE/ACM International Symposium on Microarchitecture - Locality-Aware Mapping of Nested Parallel Patterns on GPUs

Lee, Hyoukjoong, Brown, Kevin J., Sujeeth, Arvind K., Rompf, Tiark, Olukotun, Kunle

Année:

2014

Langue:

english

Fichier:

PDF, 352 KB

english, 2014

16

Forge

Sujeeth, Arvind K., Gibbons, Austin, Brown, Kevin J., Lee, HyoukJoong, Rompf, Tiark, Odersky, Martin, Olukotun, Kunle

Journal:

ACM SIGPLAN Notices

Année:

2014

Langue:

english

Fichier:

PDF, 910 KB

english, 2014

17

Unifying functional and object-oriented programming with Scala

Odersky, Martin, Rompf, Tiark

Journal:

Communications of the ACM

Année:

2014

Langue:

english

Fichier:

PDF, 2.88 MB

english, 2014

18

[ACM Press the 12th international conference - Indianapolis, Indiana, USA (2013.10.27-2013.10.28)] Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13 - Forge

Sujeeth, Arvind K., Gibbons, Austin, Brown, Kevin J., Lee, HyoukJoong, Rompf, Tiark, Odersky, Martin, Olukotun, Kunle

Année:

2013

Langue:

english

Fichier:

PDF, 910 KB

english, 2013

19

Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform

Rompf, Tiark, Maier, Ingo, Odersky, Martin

Journal:

ACM SIGPLAN Notices

Année:

2009

Langue:

english

Fichier:

PDF, 458 KB

english, 2009

20

[ACM Press the ninth international conference - Eindhoven, The Netherlands (2010.10.10-2010.10.13)] Proceedings of the ninth international conference on Generative programming and component engineering - GPCE '10 - Lightweight modular staging

Rompf, Tiark, Odersky, Martin

Année:

2010

Langue:

english

Fichier:

PDF, 609 KB

english, 2010

21

Language virtualization for heterogeneous parallel computing

Chafi, Hassan, DeVito, Zach, Moors, Adriaan, Rompf, Tiark, Sujeeth, Arvind K., Hanrahan, Pat, Odersky, Martin, Olukotun, Kunle

Journal:

ACM SIGPLAN Notices

Année:

2010

Langue:

english

Fichier:

PDF, 800 KB

english, 2010

22

[ACM Press ACM SIGPLAN International Workshop - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY'14 - Abstracting Vector Architectures in Library Generators

Stojanov, Alen, Ofenbeck, Georg, Rompf, Tiark, Püschel, Markus

Année:

2014

Langue:

english

Fichier:

PDF, 745 KB

english, 2014

23

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform

Rompf, Tiark, Maier, Ingo, Odersky, Martin

Année:

2009

Langue:

english

Fichier:

PDF, 458 KB

english, 2009

24

[ACM Press the ACM SIGPLAN 2012 workshop - Philadelphia, Pennsylvania, USA (2012.01.23-2012.01.24)] Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 - StagedSAC

Ureche, Vlad, Rompf, Tiark, Sujeeth, Arvind, Chafi, Hassan, Odersky, Martin

Année:

2012

Langue:

english

Fichier:

PDF, 837 KB

english, 2012

25

Delite

Sujeeth, Arvind K., Brown, Kevin J., Lee, Hyoukjoong, Rompf, Tiark, Chafi, Hassan, Odersky, Martin, Olukotun, Kunle

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2014

Langue:

english

Fichier:

PDF, 1.75 MB

english, 2014

26

[ACM Press the 2014 ACM International Conference - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14 - Staged parser combinators for efficient data processing

Jonnalagedda, Manohar, Coppey, Thierry, Stucki, Sandro, Rompf, Tiark, Odersky, Martin

Année:

2014

Langue:

english

Fichier:

PDF, 656 KB

english, 2014

27

[ACM Press the 2014 ACM International Conference - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14 - Foundations of path-dependent types

Amin, Nada, Rompf, Tiark, Odersky, Martin

Année:

2014

Langue:

english

Fichier:

PDF, 601 KB

english, 2014

28

[ACM Press the ACM SIGPLAN 2012 workshop - Philadelphia, Pennsylvania, USA (2012.01.23-2012.01.24)] Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 - Scala-virtualized

Moors, Adriaan, Rompf, Tiark, Haller, Philipp, Odersky, Martin

Année:

2012

Langue:

english

Fichier:

PDF, 411 KB

english, 2012

29

[ACM Press the 4th Workshop - Montpellier, France (2013.07.02-2013.07.02)] Proceedings of the 4th Workshop on Scala - SCALA '13 - What are the Odds?

Stucki, Sandro, Amin, Nada, Jonnalagedda, Manohar, Rompf, Tiark

Année:

2013

Langue:

english

Fichier:

PDF, 308 KB

english, 2013

30

[ACM Press the 20th ACM SIGPLAN International Conference - Vancouver, BC, Canada (2015.08.31-2015.09.02)] Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015 - RRB vector: a practical general purpose immutable sequence

Stucki, Nicolas, Rompf, Tiark, Ureche, Vlad, Bagwell, Phil

Année:

2015

Langue:

english

Fichier:

PDF, 1.68 MB

english, 2015

31

Building efficient query engines in a high-level language

Klonatos, Yannis, Koch, Christoph, Rompf, Tiark, Chafi, Hassan

Journal:

Proceedings of the VLDB Endowment

Année:

2014

Langue:

english

Fichier:

PDF, 223 KB

english, 2014

32

[ACM Press the 2016 7th ACM SIGPLAN Symposium - Amsterdam, Netherlands (2016.10.30-2016.10.31)] Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016 - Reflections on LMS: exploring front-end alternatives

Année:

2016

Langue:

english

Fichier:

PDF, 237 KB

english, 2016

33

[ACM Press the 2016 International Symposium - Barcelona, Spain (2016.03.12-2016.03.18)] Proceedings of the 2016 International Symposium on Code Generation and Optimization - CGO 2016 - Have abstraction and eat performance, too: optimized heterogeneous computing with parallel patterns

Brown, Kevin J., Lee, HyoukJoong, Rompf, Tiark, Sujeeth, Arvind K., De Sa, Christopher, Aberger, Christopher, Olukotun, Kunle

Année:

2016

Langue:

english

Fichier:

PDF, 462 KB

english, 2016

34

[ACM Press the 24th ACM SIGSPATIAL International Conference - Burlingame, California (2016.10.31-2016.11.03)] Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems - GIS '16 - On supporting compilation in spatial query engines

Tahboub, Ruby Y., Rompf, Tiark

Année:

2016

Langue:

english

Fichier:

PDF, 256 KB

english, 2016

35

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - LMS-Verify: abstraction without regret for verified systems programming

Amin, Nada, Rompf, Tiark

Année:

2017

Langue:

english

Fichier:

PDF, 268 KB

english, 2017

36

[ACM Press the 2016 ACM SIGPLAN International Conference - Amsterdam, Netherlands (2016.10.31-2016.11.01)] Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2016 - Lightweight modular staging (LMS): generate all the things! (keynote)

Année:

2016

Langue:

english

Fichier:

PDF, 98 KB

english, 2016

37

LMS-Verify: abstraction without regret for verified systems programming

Amin, Nada, Rompf, Tiark

Journal:

ACM SIGPLAN Notices

Année:

2017

Langue:

english

Fichier:

PDF, 268 KB

english, 2017

38

[ACM Press the 4th ACM SIGPLAN International Workshop - Barcelona, Spain (2017.06.18-2017.06.18)] Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY 2017 - Flexible data views: design and implementation

Osvald, Leo, Rompf, Tiark

Année:

2017

Langue:

english

Fichier:

PDF, 357 KB

english, 2017

39

Type soundness proofs with definitional interpreters

Amin, Nada, Rompf, Tiark

Journal:

ACM SIGPLAN Notices

Année:

2017

Langue:

english

Fichier:

PDF, 269 KB

english, 2017

40

[IEEE 2017 IEEE Conference on Computer Communications: Workshops (INFOCOM WKSHPS) - Atlanta, GA (2017.5.1-2017.5.4)] 2017 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) - Composing middlebox and traffic engineering policies in SDNs

Chang, Yiyang, Petri, Gustavo, Rao, Sanjay, Rompf, Tiark

Année:

2017

Langue:

english

Fichier:

PDF, 274 KB

english, 2017

41

Collapsing towers of interpreters

Amin, Nada, Rompf, Tiark

Journal:

Proceedings of the ACM on Programming Languages

Année:

2017

Langue:

english

Fichier:

PDF, 594 KB

english, 2017

42

[ACM Press the 2018 International Symposium - Vienna, Austria (2018.02.24-2018.02.28)] Proceedings of the 2018 International Symposium on Code Generation and Optimization - CGO 2018 - SIMD intrinsics on managed language runtimes

Stojanov, Alen, Toskov, Ivaylo, Rompf, Tiark, Püschel, Markus

Année:

2018

Langue:

english

Fichier:

PDF, 478 KB

english, 2018

43

Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)

Wei, Guannan, Decker, James, Rompf, Tiark

Journal:

Proceedings of the ACM on Programming Languages

Année:

2018

Langue:

english

Fichier:

PDF, 422 KB

english, 2018

44

[ACM Press the 8th ACM SIGPLAN International Symposium - Vancouver, BC, Canada (2017.10.22-2017.10.23)] Proceedings of the 8th ACM SIGPLAN International Symposium on Scala - SCALA 2017 - Rust-like borrowing with 2nd-class values (short paper)

Osvald, Leo, Rompf, Tiark

Année:

2017

Fichier:

PDF, 439 KB

2017

45

[ACM Press the 2018 International Symposium - Vienna, Austria (2018.02.24-2018.02.28)] Proceedings of the 2018 International Symposium on Code Generation and Optimization - CGO 2018 - SIMD intrinsics on managed language runtimes

Stojanov, Alen, Toskov, Ivaylo, Rompf, Tiark, Püschel, Markus

Année:

2018

Langue:

english

Fichier:

PDF, 472 KB

english, 2018

46

Compiling with continuations, or without? whatever.

Cong, Youyou, Osvald, Leo, Essertel, Grégory M., Rompf, Tiark

Journal:

Proceedings of the ACM on Programming Languages

Année:

2019

Langue:

english

Fichier:

PDF, 395 KB

english, 2019

47

[ACM Press the 17th ACM SIGPLAN International Symposium - Phoenix, AZ, USA (2019.06.23-2019.06.23)] Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019 - Towards compiling graph queries in relational engines

Tahboub, Ruby Y., Wu, Xilun, Essertel, Grégory M., Rompf, Tiark

Année:

2019

Langue:

english

Fichier:

PDF, 992 KB

english, 2019

48

[ACM Press the 17th ACM SIGPLAN International Symposium - Phoenix, AZ, USA (2019.06.23-2019.06.23)] Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019 - Towards compiling graph queries in relational engines

Tahboub, Ruby Y., Wu, Xilun, Essertel, Grégory M., Rompf, Tiark

Année:

2019

Fichier:

PDF, 992 KB

2019

49

[IEEE 2019 IEEE International Conference on Big Data (Big Data) - Los Angeles, CA, USA (2019.12.9-2019.12.12)] 2019 IEEE International Conference on Big Data (Big Data) - Parallel Training via Computation Graph Transformation

Wang, Fei, Chen, Guoyang, Zhang, Weifeng, Rompf, Tiark

Année:

2019

Fichier:

PDF, 10.90 MB

2019